לא מדויק
☰
דף הבית
פוסט אקראי
כל הפוסטים
קטגוריות
סיכומי הרצאות
חפש
תגית: בעיית SAT
3 פוסטים
2016-07-12
ההוכחה הארוכה ביותר בהיסטוריה! (או: איך פותרי SAT מתגברים על בעיות קומבינטוריות, אבל היי זה שם פחות מפוצץ)
2014-02-03
פותרים את SAT - אלגוריתם CDCL
2013-11-11
מה זו בעיית SAT ולמה חשוב לפתור אותה?
← חזרה לכל התגיות